- Верификация (проверка) данных
- Medicine: Verification of Data (Процедуры , направленные на выявление механических ошибок , возникающий при переносе данных)
Универсальный русско-английский словарь. Академик.ру. 2011.
Верификация (проверка) данных
Смотреть что такое "Верификация (проверка) данных" в других словарях:
верификация (с точки зрения электробезопасности) — … Справочник технического переводчика
Проверка моделей — (проверка на модели, англ. model checking) метод автоматической формальной верификации параллельных систем с конечным числом состояний. Позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям. В качестве… … Википедия
верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник … Словарь-справочник терминов нормативно-технической документации
Верификация программы — 54. Верификация программы Верификация Program verification Доказательство того, что поведение программы соответствует спецификации на эту программу Источник: ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и… … Словарь-справочник терминов нормативно-технической документации
верификация — (от лат. verificatio доказательство, подтверждение) понятие, используемое в логике и методологии научного познания для обозначения процесса установления истинности научных утверждений посредством их эмпирической проверки. Проверка заключается в… … Словарь терминов логики
ГОСТ Р ИСО/МЭК 19762-1-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД — Терминология ГОСТ Р ИСО/МЭК 19762 1 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД оригинал документа: Accredited Standards… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р ИСО/МЭК 19762-2-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) — Терминология ГОСТ Р ИСО/МЭК 19762 2 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) оригинал документа: 04.02.13 ( n, k)… … Словарь-справочник терминов нормативно-технической документации
МИ 2174-91: Рекомендация. Государственная система обеспечения единства измерений. Аттестация алгоритмов и программ обработки данных при измерениях. Основные положения — Терминология МИ 2174 91: Рекомендация. Государственная система обеспечения единства измерений. Аттестация алгоритмов и программ обработки данных при измерениях. Основные положения: 1 Алгоритм однозначное описание последовательности операций над… … Словарь-справочник терминов нормативно-технической документации
Информационная логистика — Информационная логистика (information logistics) совокупность действий по эффективному распределению информационных потоков между цифровыми и традиционными носителями. Информационная логистика имеет аллегорическое сходство с… … Википедия
Логистика — (Logistics) Определения логистики, история логистики, логистические системы Цель и обьект логистики, проблемы логистики, виды логических систем, основные задачи логистики, экономический эффект от использования логистики Содержание Содержание… … Энциклопедия инвестора
Форматирование диска — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
